More from this Author
Found 10 books by Einar Broch Johnsen (Editor)
Formal Methods for Multicore Programming
by Marco Bernardo (Editor), Einar Broch Johnsen (Editor)
Formal Methods for Executable Software Models
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
Software Engineering and Formal Methods
by Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
Service-Oriented and Cloud Computing
by Flavio De Paoli (Editor), Stefan Schulte (Editor), Einar Broch Johnsen (Editor)
Service-Oriented and Cloud Computing
by Marco. Aiello (Editor), Einar Broch Johnsen (Editor), Schahram Dustdar (Editor), Ilche Georgievski (Editor)
Formal Methods for Executable Software Models
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
Formal Methods for Multicore Programming
by Marco Bernardo (Editor), Einar Broch Johnsen (Editor)
Tests and Proofs
by Sebastian Gabmeyer (Editor), Einar Broch Johnsen (Editor)
Theory and Practice of Formal Methods
by Erika Ábrahám (Editor), Marcello Bonsangue (Editor), Einar Broch Johnsen (Editor)
Integrated Formal Methods
by Einar Broch Johnsen (Editor), Luigia Petre (Editor)